Chalmers University of Technology - PDFSEARCH.IO - Document Search Engine

Chalmers University of Technology
Results: 255

#	Item
21	Parametric Quantifiers for Dependent Type Theory ANDREAS NUYTS, KU Leuven, Belgium ANDREA VEZZOSI, Chalmers University of Technology, Sweden DOMINIQUE DEVRIESE, KU Leuven, Belgium Polymorphic type systems such as System Add to Reading List Source URL: lirias.kuleuven.be - Date: 2017-07-28 06:42:57
22	Parametric Quantifiers for Dependent Type Theory ANDREAS NUYTS, KU Leuven, Belgium ANDREA VEZZOSI, Chalmers University of Technology, Sweden DOMINIQUE DEVRIESE, KU Leuven, Belgium Polymorphic type systems such as System Add to Reading List Source URL: people.cs.kuleuven.be - Date: 2017-07-28 06:55:52
23	Supplementary material for Global graph kernels using geometric embeddings Fredrik Johansson Chalmers University of Technology, SEGothenburg, Sweden Add to Reading List Source URL: jmlr.org - Date: 2015-02-01 17:03:27
24	High Resolution Sparse Voxel DAGs Viktor K¨ampe Erik Sintorn Chalmers University of Technology Add to Reading List Source URL: www.cse.chalmers.se - Date: 2016-04-29 07:58:53
25	Software Engineering for Smart Systems Jan Bosch (Professor of Software Engineering, Chalmers University of Technology) Vision for the project With the increasing size of software systems and the emergence of increasingl Add to Reading List Source URL: wasp-sweden.org - Date: 2016-06-23 09:00:49
26	A CNL for Contract-Oriented Diagrams John J. Camilleri, Gabriele Paganelli, and Gerardo Schneider Department of Computer Science and Engineering, Chalmers University of Technology and the University of Gothenburg, Sweden Add to Reading List Source URL: academic.johnjcamilleri.com - Date: 2014-08-29 08:24:50
27	Global graph kernels using geometric embeddings Fredrik D. Johansson Chalmers University of Technology, SEGothenburg, Sweden FREJOHK @ CHALMERS . SE Add to Reading List Source URL: jmlr.org - Date: 2015-02-01 17:03:27
28	Stack Traces in Haskell Master of Science Thesis ARASH ROUHANI Chalmers University of Technology Add to Reading List Source URL: www.arashrouhani.com - Date: 2016-12-09 06:50:51
29	Constraint Grammar as a SAT problem Inari Listenmaa Koen Claessen Chalmers University of Technology, Gothenburg, Sweden {inari,koen}@chalmers.se Abstract Add to Reading List Source URL: www.ep.liu.se - Date: 2015-06-17 02:07:38
30	A Cloud-Based Editor for Multilingual Grammars Thomas Hallgren Ramona Enache Aarne Ranta Department of Computer Science and Engineering Chalmers University of Technology and University of Gothenburg Add to Reading List Source URL: www.aclweb.org - Date: 2015-07-25 01:15:04

UPDATE